type T =
  | A
